open Base
open Unique_id.Ids

type value = Dyn.t
type values = value Src_id.map
type effect = (value -> value) Src_id.map

let empty_values : values =
  Src_id.empty_map

let single_effect src f : effect =
  Map.singleton (module Src_id) src f
